Vain, Jüri: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2018 IEEE International Conference on Software Quality, Reliability and Security (QRS) - Lisbon (2018.7.16-2018.7.20)] 2018 IEEE International Conference on Software Quality, Reliability and Security (QRS) - Vulnerability Assessment of Web Services with Model-Based Mutation Testing

Siavashi, Faezeh, Truscan, Dragos, Vain, Juri

Year:

2018

Language:

english

File:

PDF, 623 KB

english, 2018

2

[IEEE 2013 IEEE Innovative Smart Grid Technologies - Asia (ISGT Asia) - Bangalore, India (2013.11.10-2013.11.13)] 2013 IEEE Innovative Smart Grid Technologies-Asia (ISGT Asia) - Integration of IEC 61850 and OPC UA for Smart Grid automation

Srinivasan, Seshadhri, Kumar, Ravish, Vain, Juri

Year:

2013

Language:

english

File:

PDF, 173 KB

english, 2013

3

[IEEE IECON 2010 - 36th Annual Conference of IEEE Industrial Electronics - Glendale, AZ, USA (2010.11.7-2010.11.10)] IECON 2010 - 36th Annual Conference on IEEE Industrial Electronics Society - Application of volume bounding box decomposition for surgeon's hand gestures recognition

Nomm, Sven, Leibakt, Alar, Vain, Juri, Miyawaki, Fujio

Year:

2010

Language:

english

File:

PDF, 639 KB

english, 2010

4

[IEEE 2014 10th European Workshop on Microelectronics Education (EWME) - Tallinn, Estonia (2014.5.14-2014.5.16)] 10th European Workshop on Microelectronics Education (EWME) - FPGA-based critical computing: TEMPUS and FP7 projects issues

Kharchenko, Vyacheslav, Illiashenko, Oleg, Boyarchuk, Artem, Phillips, Chris, Vain, Juri, Krispin, Madli

Year:

2014

Language:

english

File:

PDF, 866 KB

english, 2014

5

Guest editors' foreword

Uustalu, Tarmo, Vain, Jüri

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2016

Language:

english

File:

PDF, 128 KB

english, 2016

6

[IEEE 2019 10th International Conference on Dependable Systems, Services and Technologies (DESSERT) - Leeds, United Kingdom (2019.6.5-2019.6.7)] 2019 10th International Conference on Dependable Systems, Services and Technologies (DESSERT) - TestIt: an Open-Source Scalable Long-Term Autonomy Testing Toolkit for ROS

Kanter, Gert, Vain, Juri

Year:

2019

Language:

english

File:

PDF, 1.58 MB

english, 2019

7

Real-time specification and modeling with joint actions

Reino Kurki-Suonio, Kari Systä, Jüri Vain

Journal:

Science of Computer Programming

Year:

1993

Language:

english

File:

PDF, 2.01 MB

english, 1993

8

Guest Editors’ Foreword

Tarmo Uustalu, Jüri Vain

Journal:

The Journal of Logic and Algebraic Programming

Year:

2010

Language:

english

File:

PDF, 158 KB

english, 2010

9

Surgical scenario for laparoscopic surgery with timed automata

Kentarou Ohnuma, Ken Masamune, Kazuhiko Shinohara, Jüri Vain, Yasuhiro Fukui, Fujio Miyawaki

Journal:

International Congress Series

Year:

2005

Language:

english

File:

PDF, 32 KB

english, 2005

10

[IEEE 2009 IEEE International Conference on Control and Automation (ICCA) - Christchurch, New Zealand (2009.12.9-2009.12.11)] 2009 IEEE International Conference on Control and Automation - Supervised training of voting automata for the surgeon's motion recognition during laparoscope surgery

Vain, Juri, Nomm, Sven, Anier, Aivo, Miyawaki, Fujio, Totskaya, Tatiana

Year:

2009

Language:

english

File:

PDF, 530 KB

english, 2009

11

[IEEE 2008 Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO) - Venezia, Italy (2008.10.20-2008.10.24)] 2008 Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems - RFID-based Communications for a Self-Organising Robot Swarm

Tammet, Tanel, Vain, Jüri, Puusepp, Andres, Reilent, Enar, Kuusik, Alar

Year:

2008

Language:

english

File:

PDF, 633 KB

english, 2008

12

[IEEE 2010 12th Biennial Baltic Electronics Conference (BEC2010) - Tallinn, Estonia (2010.10.4-2010.10.6)] 2010 12th Biennial Baltic Electronics Conference - Application of bidding automata for measuring the informativeness of hand motion characteristic features

Parm, Kenno, Nomm, Sven, Vain, Juri

Year:

2010

File:

PDF, 119 KB

2010

13

[IEEE 2014 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) - Naples, Italy (2014.11.3-2014.11.6)] 2014 IEEE International Symposium on Software Reliability Engineering Workshops - Verifying Response Times in Networked Automation Systems Using Jitter Bounds

Srinivasan, Seshadhri, Buonopane, Furio, Ramaswamy, Srini, Vain, Juri

Year:

2014

Language:

english

File:

PDF, 1.17 MB

english, 2014

14

[IEEE 2008 IEEE International Joint Conference on Neural Networks (IJCNN 2008 - Hong Kong) - Hong Kong, China (2008.06.1-2008.06.8)] 2008 IEEE International Joint Conference on Neural Networks (IEEE World Congress on Computational Intelligence) - Application of self organizing Kohonen map to detection of surgeon motions during endoscopic surgery

Petlenkov, Eduard, Nomm, Sven, Vain, Juri, Fujio Miyawaki,

Year:

2008

Language:

english

File:

PDF, 256 KB

english, 2008

15

[IEEE 2010 12th Biennial Baltic Electronics Conference (BEC2010) - Tallinn, Estonia (2010.10.4-2010.10.6)] 2010 12th Biennial Baltic Electronics Conference - Model-based synthesis of reactive planning on-line testers for non-deterministic embedded systems

Kaaramees, Marko, Vain, Juri, Raiend, Kullo

Year:

2010

Language:

english

File:

PDF, 96 KB

english, 2010

16

[IEEE 2009 4th IEEE Conference on Industrial Electronics and Applications (ICIEA) - Xian, China (2009.05.25-2009.05.27)] 2009 4th IEEE Conference on Industrial Electronics and Applications - Hybrid approach to detection of the surgeon's hand motions during endoscope surgery

Nomm, Sven, Vain, Juri, Petlenkov, Eduard, Miyawaki, Fujio, Yoshimitsu, Kitaro

Year:

2009

Language:

english

File:

PDF, 396 KB

english, 2009

17

[ACM Press the eleventh workshop - Potsdam, Germany (2012.03.26-2012.03.26)] Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages - FOAL '12 - Exploiting aspects in model-based testing

Sarna, Külli, Vain, Jüri

Year:

2012

Language:

english

File:

PDF, 599 KB

english, 2012

18

[ACM Press the twenty-second IEEE/ACM international conference - Atlanta, Georgia, USA (2007.11.05-2007.11.09)] Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering - ASE '07 - Synthesis of test purpose directed reactive planning tester for nondeterministic systems

Vain, Jüri, Raiend, Kullo, Kull, Andres, Ernits, Juhan P.

Year:

2007

Language:

english

File:

PDF, 330 KB

english, 2007

19

Model checking response times in Networked Automation Systems using jitter bounds

Srinivasan, Seshadhri, Buonopane, Furio, Vain, Juri, Ramaswamy, Srini

Journal:

Computers in Industry

Year:

2015

Language:

english

File:

PDF, 3.73 MB

english, 2015

20

[IEEE 2015 European Conference on Mobile Robots (ECMR) - Lincoln, United Kingdom (2015.9.2-2015.9.4)] 2015 European Conference on Mobile Robots (ECMR) - Model-based integration testing of ROS packages: A mobile robot case study

Ernits, Juhan, Halling, Evelin, Kanter, Gert, Vain, Juri

Year:

2015

Language:

english

File:

PDF, 637 KB

english, 2015

21

Design and Verification of Cyber-Physical Systems Using TrueTime, Evolutionary Optimization and UPPAAL

Sreram, B., Srinivasan, Seshadhri, Bounapane, Furio, Subathra, B., Vain, Jüri, Ramswamy, Srini

Journal:

Microprocessors and Microsystems

Year:

2016

Language:

english

File:

PDF, 2.90 MB

english, 2016

22

[IEEE 2014 14th Biennial Baltic Electronic Conference (BEC) - Tallinn, Estonia (2014.10.6-2014.10.8)] 2014 14th Biennial Baltic Electronic Conference (BEC) - Towards context-sensitive dialogue with robot companion

Vain, Juri, Sarapuu, Helena

Year:

2014

Language:

english

File:

PDF, 152 KB

english, 2014

23

Recognition of the Surgeon's Motions During Endoscopic Operation by Statistics Based Algorithm and Neural Networks Based ANARX Models

Nõmm, Sven, Petlenkov, Eduard, Vain, Jüri, Belikov, Juri, Miyawaki, Fujio, Yoshimitsu, Kitaro

Journal:

IFAC Proceedings Volumes

Year:

2008

Language:

english

File:

PDF, 358 KB

english, 2008

24

Learning based personalized energy management systems for residential buildings

Soudari, Mallikarjun, Srinivasan, Seshadhri, Balasubramanian, Subathra, Vain, Juri, Kotta, Ulle

Journal:

Energy and Buildings

Year:

2016

Language:

english

File:

PDF, 3.46 MB

english, 2016

25

[IEEE 2016 15th Biennial Baltic Electronics Conference (BEC) - Tallinn, Estonia (2016.10.3-2016.10.5)] 2016 15th Biennial Baltic Electronics Conference (BEC) - Generating optimal test cases for real-time systems using DIVINE model checker

Pal, Deepak, Vain, Juri

Year:

2016

Language:

english

File:

PDF, 303 KB

english, 2016

26

[IEEE 2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS) - Dubai, United Arab Emirates (2016.11.6-2016.11.8)] 2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS) - Developing Multi-view Contracts Using Event-B and Uppaal Timed Automata

Vain, Juri, Tsiopoulos, Leonidas, Guin, Jishu

Year:

2016

Language:

english

File:

PDF, 604 KB

english, 2016

27

Towards Unified Compositional Design of Control Systems

Vain, Jüri, Käämees, Marko

Journal:

IFAC Proceedings Volumes

Year:

2000

Language:

english

File:

PDF, 1.48 MB

english, 2000

28

Specification of Hybrid Components of Control Systems

Vain, Jüri, Kuusik, Alar, Kääramees, Marko

Journal:

IFAC Proceedings Volumes

Year:

1998

Language:

english

File:

PDF, 1.45 MB

english, 1998

29

Optimization of the Structure of Multi-Level Parallel Assembling

Riismaa, Tiit, Randvee, Ingmar, Vain, Jüri

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 3.50 MB

english, 2003

30

MODEL CHECKING IN PATTERN BASED CONTROL SYSTEMS DESIGN.

Vain, Jüri, Ernits, Juhan

Journal:

IFAC Proceedings Volumes

Year:

2002

Language:

english

File:

PDF, 400 KB

english, 2002

31

TWO PHASE TECHNIQUE FOR ASSEMBLY LINE BALANCING

Vain, Jüri, Randvee, Ingmar, Riismaa, Tiit

Journal:

IFAC Proceedings Volumes

Year:

2005

Language:

english

File:

PDF, 210 KB

english, 2005

32

[ACM Press the Fifth European Conference - Larnaca, Cyprus (2017.08.31-2017.09.01)] Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems - ECBS '17 - Reconstructing timed symbolic traces from rtioco -based timed test sequences using backward-induction

Iqbal, Junaid, Truscan, Dragos, Vain, Jüri, Porres, Ivan

Year:

2017

Language:

english

File:

PDF, 1.47 MB

english, 2017

33

[IEEE 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) - Limassol (2017.9.12-2017.9.15)] 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) - Model-based maintenance scheduling in flexible modular automation systems

Pal, Deepak, Vain, Juri, Srinivasan, Seshadhri, Ramaswamy, Srini

Year:

2017

Language:

english

File:

PDF, 528 KB

english, 2017

34

[IEEE 2017 International Conference on Infocom Technologies and Unmanned Systems (Trends and Future Directions) (ICTUS) - Dubai (2017.12.18-2017.12.20)] 2017 International Conference on Infocom Technologies and Unmanned Systems (Trends and Future Directions) (ICTUS) - On the benefits of using aspect-orientation in UPPAAL timed automata

Vain, Juri, Truscan, Dragos, Iqbal, Junaid, Tsiopoulos, Leonidas

Year:

2017

Language:

english

File:

PDF, 534 KB

english, 2017

35

[IEEE 2017 6th International Conference on Reliability, Infocom Technologies and Optimization (Trends and Future Directions) (ICRITO) - Noida, India (2017.9.20-2017.9.22)] 2017 6th International Conference on Reliability, Infocom Technologies and Optimization (Trends and Future Directions) (ICRITO) - Model based testing of distributed time critical systems

Vain, Juri, Kanter, Gert, Srinivasan, Seshadhri

Year:

2017

Language:

english

File:

PDF, 3.88 MB

english, 2017

36

A model-based approach for design and verification of Industrial Internet of Things

N., Muthukumar, Srinivasan, Seshadhri, Ramkumar, K., Pal, Deepak, Vain, Juri, Ramaswamy, Srini

Journal:

Future Generation Computer Systems

Year:

2019

Language:

english

File:

PDF, 3.65 MB

english, 2019

37

A Systematic Approach on Modeling Refinement and Regression Testing of Real-Time Distributed Systems

Pal, Deepak, Vain, Jüri

Journal:

IFAC-PapersOnLine

Year:

2019

Language:

english

File:

PDF, 1.31 MB

english, 2019

38

A Systematic Approach on Modeling Refinement and Regression Testing of Real-Time Distributed Systems

Pal, Deepak, Vain, Jüri

Journal:

IFAC-PapersOnLine

Year:

2019

File:

PDF, 1.31 MB

2019

39

Integration of ‘Central’ and ‘Peripheral’ Nervous Systems in Scrub Nurse Robot and Comparison Between ‘Voluntary’ and ‘Reflex’ Movements

Miyawaki, Fujio, Suzuki, Miho, Anier, Aivo, Vain, Jüri

Journal:

IFAC-PapersOnLine

Year:

2019

File:

PDF, 991 KB

2019

40

Formal Methods Based Security for Cloud-based Manufacturing Cyber Physical System

Muniasamy, Kandasamy, Srinivasan, Seshadhri, Vain, Juri, Sethumadhavan, M.

Journal:

IFAC-PapersOnLine

Year:

2019

File:

PDF, 573 KB

2019

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски